COMPUTATIONAL LOGICS AND AGENTS: A ROAD MAP OF CURRENT TECHNOLOGIES AND FUTURE TRENDS

Computational Logics and Agents: A Road Map of Current Technologies and Future Trends

The concept of an agent is increasingly used in contemporary software applications, particularly those involving the Internet, autonomous systems, or cooperation. However, with dependability and safety in mind, it is vital that the mechanisms for representing and implementing agents are clear and consistent. Hence there has been a strong research effort directed at using formal logic as the bas...

Metabolomics: current technologies and future trends.

The ability to sequence whole genomes has taught us that our knowledge with respect to gene function is rather limited with typically 30-40% of open reading frames having no known function. Thus, within the life sciences there is a need for determination of the biological function of these so-called orphan genes, some of which may be molecular targets for therapeutic intervention. The search fo...

E-Collaboration Technologies and Organizational Performance: Current and Future Trends

A Road Map of Interval Temporal Logics and Duration Calculi

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

the investigation of the relationship between type a and type b personalities and quality of translation

چکیده ندارد.